Applying Constraint Solving to the Management of Distributed Applications

摘要

We present our approach for deploying and managing distributedcomponent-based applications. A Desired State Description (DSD), written in ahigh-level declarative language, specifies requirements for a distributedapplication. Our infrastructure accepts a DSD as input, and from itautomatically configures and deploys the distributed application. Subsequentviolations of the original requirements are detected and, where possible,automatically rectified by reconfiguration and redeployment of the necessaryapplication components. A constraint solving tool is used to plan deploymentsthat meet the application requirements.